Spin Dependent Tunneling in FM|semiconductor|FM structures

Here we show that ordinary band structure codes can be used to understand the mechanisms of coherent spin-injection at interfaces between ferromagnets and semiconductors. This approach allows the screening of different material combinations for properties useful for obtaining high tunneling magnetoresistance (TMR). We used the Vienna Ab-initio Simulation Code (VASP) to calculate the wave function character of each band in periodic epitaxial Fe(100)|GaAs(100) and Fe(100)|ZnSe(100) structures. It is shown that Fe wave functions of different symmetry near Fermi energy decay differently in the GaAs and ZnSe.Comment: Accepted for publication in MMM'05 Proceedings. 7 pages, 5 figure

FORTRAN programming - A self-taught course

Comprehensive programming course begins with numerical systems and basic concepts, proceeds systematically through FORTRAN language elements, and concludes with discussion of programming techniques. Course is suitable either for individual study or for group study on informal basis

Neutrino Physics and Nuclear Axial Two-Body Interactions

We consider the counter-term describing isoscalar axial two-body currents in the nucleon-nucleon interaction, L1A, in the effective field theory approach. We determine this quantity using the solar neutrino data. We investigate the variation of L1A when different sets of data are used.Comment: 8 pages with 4 figures. To be published in the Proceedings of the Conference "Blueprints For The Nucleus: From First Principles to Collective Motion" held at Feza Gursey Institute, Istanbul, Turkey; May 17 -22, 200

The relational ethics of conflict and identity

The contemporary psychoanalytically inflected vocabulary of relational ethics centres on acknowledgement, witnessing and responsibility. It has become an important code for efforts to connect with otherness across fractures of hurt, oppression and suffering. One can see the deployment of this vocabulary to challenge patterns of exclusion and dehumanisation in zones of intense political conflict in many situations in which destructive hatred reigns. This paper traces some of the use of and disputes over this ‘acknowledgement-based’ relational ethics in the recent work of Jessica Benjamin and Judith Butler. The field of application is their response to Israel’s treatment of the Palestinians, given their position as Jews. The challenge of the acknowledgement agenda leads back to an issue of general concern – the degree to which relational ethics can prise open apparently closed and defensive psychosocial identities

Monte Carlo analysis of uncertainty propagation in a stratospheric model. 1: Development of a concise stratospheric model

A concise model has been developed to analyze uncertainties in stratospheric perturbations, yet uses a minimum of computer time and is complete enough to represent the results of more complex models. The steady state model applies iteration to achieve coupling between interacting species. The species are determined from diffusion equations with appropriate sources and sinks. Diurnal effects due to chlorine nitrate formation are accounted for by analytic approximation. The model has been used to evaluate steady state perturbations due to injections of chlorine and NO(X)

Monte Carlo analysis of uncertainty propagation in a stratospheric model. 2: Uncertainties due to reaction rates

A concise stratospheric model was used in a Monte-Carlo analysis of the propagation of reaction rate uncertainties through the calculation of an ozone perturbation due to the addition of chlorine. Two thousand Monte-Carlo cases were run with 55 reaction rates being varied. Excellent convergence was obtained in the output distributions because the model is sensitive to the uncertainties in only about 10 reactions. For a 1 ppby chlorine perturbation added to a 1.5 ppby chlorine background, the resultant 1 sigma uncertainty on the ozone perturbation is a factor of 1.69 on the high side and 1.80 on the low side. The corresponding 2 sigma factors are 2.86 and 3.23. Results are also given for the uncertainties, due to reaction rates, in the ambient concentrations of stratospheric species

A systematic approach to atomicity decomposition in Event-B

Event-B is a state-based formal method that supports a refinement process in which an abstract model is elaborated towards an implementation in a step-wise manner. One weakness of Event-B is that control flow between events is typically modelled implicitly via variables and event guards. While this fits well with Event-B refinement, it can make models involving sequencing of events more difficult to specify and understand than if control flow was explicitly specified. New events may be introduced in Event-B refinement and these are often used to decompose the atomicity of an abstract event into a series of steps. A second weakness of Event-B is that there is no explicit link between such new events that represent a step in the decomposition of atomicity and the abstract event to which they contribute. To address these weaknesses, atomicity decomposition diagrams support the explicit modelling of control flow and refinement relationships for new events. In previous work,the atomicity decomposition approach has been evaluated manually in the development of two large case studies, a multi media protocol and a spacecraft sub-system. The evaluation results helped us to develop a systematic definition of the atomicity decomposition approach, and to develop a tool supporting the approach. In this paper we outline this systematic definition of the approach, the tool that supports it and evaluate the contribution that the tool makes